A Virtual Patient (VP) is a computational model accounting for individualised (patho-) physiology and Pharmaco-Kinetics/Dynamics of relevant drugs. Availability of VPs is among the enabling technology for In Silico Clinical Trials. Here we shortly outline the state of the art as for VP generation and summarise our recent work on Artificial Intelligence (AI) and Statistical Model Checking based generation of VPs.

In silico clinical trials through AI and statistical model checking / Alimguzhin, V.; Mancini, T.; Massini, A.; Sinisi, S.; Tronci, E.. - 2509:(2020), pp. 17-22. (Intervento presentato al convegno 1st Workshop on Artificial Intelligence and Formal Verification, Logic, Automata, and Synthesis, OVERLAY 2019 tenutosi a Rende; Italy).

In silico clinical trials through AI and statistical model checking

Alimguzhin V.;Mancini T.;Massini A.;Sinisi S.;Tronci E.
2020

Abstract

A Virtual Patient (VP) is a computational model accounting for individualised (patho-) physiology and Pharmaco-Kinetics/Dynamics of relevant drugs. Availability of VPs is among the enabling technology for In Silico Clinical Trials. Here we shortly outline the state of the art as for VP generation and summarise our recent work on Artificial Intelligence (AI) and Statistical Model Checking based generation of VPs.
2020
1st Workshop on Artificial Intelligence and Formal Verification, Logic, Automata, and Synthesis, OVERLAY 2019
in silico clinical trials; artificial intelligence; global search; model checking; virtual physiological human models; hybrid systems; verification
04 Pubblicazione in atti di convegno::04b Atto di convegno in volume
In silico clinical trials through AI and statistical model checking / Alimguzhin, V.; Mancini, T.; Massini, A.; Sinisi, S.; Tronci, E.. - 2509:(2020), pp. 17-22. (Intervento presentato al convegno 1st Workshop on Artificial Intelligence and Formal Verification, Logic, Automata, and Synthesis, OVERLAY 2019 tenutosi a Rende; Italy).
File allegati a questo prodotto
File Dimensione Formato  
Alimguzhin_In-Silico_2020.pdf

accesso aperto

Tipologia: Documento in Post-print (versione successiva alla peer review e accettata per la pubblicazione)
Licenza: Tutti i diritti riservati (All rights reserved)
Dimensione 884.54 kB
Formato Adobe PDF
884.54 kB Adobe PDF

I documenti in IRIS sono protetti da copyright e tutti i diritti sono riservati, salvo diversa indicazione.

Utilizza questo identificativo per citare o creare un link a questo documento: https://hdl.handle.net/11573/1390446
Citazioni
  • ???jsp.display-item.citation.pmc??? ND
  • Scopus 0
  • ???jsp.display-item.citation.isi??? ND
social impact